煤结构对自燃性的影响

松散煤体在一定的外界环境条件下,其自燃性很大程度上受到煤自身化学结构和孔隙结构的影响,可通过分析煤结构来判断其自燃倾向性.通过BET吸附实验与程序升温研究,表明煤样的孔结构与煤样自燃反应性有一定的正相关系.同时,结合红外光谱的研究,得到了实验煤样的分子官能团归属,从煤样化学结构方面对煤自燃性影响因素进行了深入研究.研究结论对给定煤样自燃发火预测预报有重要的理论指导意义.     

矿工不安全行为影响因素分析及控制对策

我国30 a间煤矿重大事故统计数据显示,人因事故占到96.5％以上.在所有导致煤矿重大事故的直接原因中,不安全行为是引起煤矿绝大多数事故发生的直接原因.因此,在对不安全行为影响因素文献综述的基础上,以G矿N1301工作面的矿工为研究对象,确定了由4个一级因素16个二级因素组成的不安全行为的影响因素集.引入网络层次分析法(ANP),构造不安全行为影响因素的网络结构模型,并通过发放专家打分表,对不安全行为的影响因素进行两两比较,利用Super Decisions (SD)软件计算出不安全行为影响因素的一级因素和二级因素的权重,进而得出全部16个二级影响因素权重总排序,并以此为依据对不安全行为的影响因素进行了重要性分析.其重要性排序将为预防矿工不安全行为指出控制方向,并提出相应的矿工不安全行为控制对策.     

煤矿井下移动救生舱的发展现状及趋势

救生舱可为矿工在灾变环境下提供稳定可靠、保障齐全的维生空间,把灾害的损失降到较低水平.对比分析国外矿业发达国家和中国在救生舱领域发展状况,提出适合我国煤矿生产特点的救生舱研发思路.对煤矿井下移动救生舱进行了分类,并从实用性、人机可靠性、经济性等角度探讨了救生舱的外形和功能指标.结合美国凯特、斯塔特和澳大利亚迈安科美国分公司生产的救生舱产品及国内20余家单位研究的产品分析,对煤矿井下移动救生舱的结构与功能参数进行了研究.     

单弹簧联结单元法的改进算法

单弹簧联结单元法是在实体单元与梁单元的切向设置单弹簧联结单元,模拟钢筋与混凝土切向的相互作用.其切向刚度是由钢筋与混凝土之间的粘结力与滑移量的关系确定,法向变形协调则通过建立法向自由度约束方程保证.在单弹簧联结单元法的基础上,提出了基于钢筋混凝土滑移关系全量曲线的非线性迭代解法,对单弹簧联结单元法进行了改进.在钢筋和混凝土之间直接引入粘结滑移本构关系,由钢筋和混凝土之间的全量滑移量直接求解相互作用力,不仅可以考虑本构关系曲线的下降段,而且受加载方式的影响较小,使得单弹簧联结单元法的求解速度和精度大大提高.     

煤自燃特征信息的模糊聚类与模式识别

研究煤自燃特征信息,确定煤自然发火预测指标,实现煤自燃的早期预报,对煤矿的安全生产具有重要的实际意义.根据煤样自燃发火过程模拟实验和程序升温实验,得出煤自燃特征温度段,依据多元信息融合技术,结合现场采集煤自然发火观测气体数据,应用模糊聚类的方法,提取煤自燃多项指标信息的特征,并采用模糊模式识别的方法,确定出煤自燃特征信息及其与特征温度段的对应关系,从而实现煤自燃状态的识别和早期预报.     

煤与瓦斯突出损伤动力演化机理

煤与瓦斯突出中力学性质表现得相当复杂.目前研究很少考虑瓦斯压力梯度对煤的流变破坏作用.本文中基于对煤岩力学性质新的认识,从煤岩损伤破坏的角度出发,综合考虑煤岩的物理力学性质,包括流变性质、地应力和瓦斯压力等因素.根据煤的力学试验结果所表现的非线性弹性性质,在分析瓦斯压力、地应力分别在突出过程中所起的作用基础上,将煤与瓦斯突出具有强烈时间效应的动态力学过程分为准备、发动、发展和终止4个阶段.对瓦斯压力、地应力和重力作用下煤的加速损伤演化所引起的煤与瓦斯突出进行了发生机理的阐述,从而得出煤壁内部瓦斯压力梯度是突出的主要动力源,地应力只是对突出起到辅助作用.对煤岩灾变的延期性、孔洞形状、声发射特征、相对瓦斯涌出量大大超过煤层瓦斯含量、突出煤的分选性、突出的终止过程等现象作新的解释和定性分析.     

基于灰色系统理论单桩竖向极限承载力的预测

根据不完全的竖向静载试验数据,利用灰色系统理论的GM(1,1)模型预测单桩的竖向极限承载力,并对结果的合理性及误差进行分析.工程实例分析表明,竖向静载试验所施加的荷载达到或超过极限荷载的四分之三时,利用其数据进行单桩竖向极限承载力的预测具有较高的精度.同时新信息GM(1,1)模型、新陈代谢GM(1,1)模型比老信息GM(1,1)模型预测的结果更精确.     

8051双数据指针的实现与应用

研究开发了一种新型的8051内核,通过对8051指令操作系统的研究,开发出了能够提高8051指令执行效率的一种有效方法,并将此8051内核集成在SOC芯片中,该芯片采用0.18um工艺.     

JDBC数据库连接池中事务处理的研究与实现

JDBC驱动程序提供的连接类实现了事务控制机制,为了实现多任务多用户的操作,本文提出了一种禁用自动提交模式,该模式把对事务的控制权转交给程序开发人员,由程序员决定在适当的时候调用连接对象的适当方法来完成事务的任务。     

C语言小程序算法的表示

在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、临时变量、特殊赋值语句以及循环语句等引发的多样性问题.